Search Results
Livelits: Filling Typed Holes with Live GUIs
Live Functional Programming with Typed Holes
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
Projectional Functional Demos
[Midwest PL Summit] Naturally Editing Typed Expressions with Holes by Cyrus Omar and David Moon
Program Sketching with Live Bidirectional Evaluation (ICFP 2020)
Moving Towards Dialogue: Collaborating with your computer using typed holes! by Vaibhav Sagar
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Simon Peyton Jones | Making a Faster Curry with Extensional Types
Reasonably Programmable Literal Notation
Tools for "more humane coding"
![[Midwest PL Summit] Naturally Editing Typed Expressions with Holes by Cyrus Omar and David Moon](https://img.youtube.com/vi/_n23bHbje6U/hqdefault.jpg)
